1. ......................
پدیدآورنده: Iverson, Kenneth E
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Algorithms,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
I9
2. A programming language
پدیدآورنده : Iverson, Kenneth E.
موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. A programming language
پدیدآورنده: IVERSON,KENNETH E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PROGRAMMING LANGUAGES )ELECTRONIC COMP , ALGORITHMS , ELECTRONIC DIGITAL COMPUTERS,
رده :
QA
76
.
5
.
I9
4. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
5. An introduction to the general theory of algorithms
پدیدآورنده: Machtey, Michael.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
رده :
QA
76
.
7
.
M3
6. Combinatorial complexes: a mathematical theory of algorithms
پدیدآورنده : Sellers, Peter H
موضوع : ، Electronic digital computers- Programming,، Programming languages )electronic computers(,، Algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Combinatorial complexes : a mathematical theory of algorithms
پدیدآورنده: Sellers, Peter H.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
6
.
S448
8. Computer semantics; studies of algorithms, processors, and languages
پدیدآورنده: Lee, John A. N.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
L38
9. Definition du language algorithmique algol 68
پدیدآورنده: Buffet, J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
10. How to solve it by computer
پدیدآورنده: / R. G. Dromey,Dromey
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع: Computer algorithms,Programming languages (Electronic computers)
رده :
005
.
1
D786H
11. Interactive computer graphics : data structures, algorithms, languages
پدیدآورنده: Giloi, Wolfgang.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer graphics,، Interactive computer systems,، Algorithms,، Programming languages )Electronic computers(,، Data structures )Computer science(
رده :
T
385
.
G54
12. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده: Edited by M. A. Gavrilov and A. D. Zakrevskii. Translated by Morton Nadler
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages )Electronic computers(,Computer algorithms,Switching theory
رده :
QA
.
L613
76
.
5
13. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Switching theory
رده :
QA
76
.
5
.
L6313
14. Masterminds of programming /
پدیدآورنده: edited by Federico Biancuzzi and Shane Warden.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
15. Masterminds of programming /
پدیدآورنده: edited by Federico Biancuzzi and Shane Warden.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
16. Mes premieres constructions de programmes
پدیدآورنده: Gerbier, A
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
G47
17. Methods of algorithmic language implementation
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
5
.
S94
1975
18. Symposium on Semantics of Algorithmic Languages
پدیدآورنده: edited by E. Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
19. Symposium on semantics of algorithmic languages
پدیدآورنده: edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
20. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
